Separation logic - PDFSEARCH.IO - Document Search Engine

Separation logic
Results: 136

#	Item
71	Tactics for Separation Logic early draft Andrew W. Appel INRIA Rocquencourt & Princeton University January 13, 2006 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-11-29 16:23:38 Philosophical logic Non-classical logic Logic in computer science Automated theorem proving Logic programming Hoare logic Separation logic Substitution Modal logic Quantifier FO Constructible universe
72	Curriculum Vitae Ruzica Piskac address: The Department of Computer Science Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-01-29 21:52:24 Logic in computer science Symposium on Principles of Programming Languages International Semantic Web Conference Separation logic Automated reasoning Computer Aided Verification Abstract interpretation Vasant Honavar Vienna Summer of Logic
73	Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-01-04 15:33:28 Theoretical computer science Logic in computer science Logic Mathematical logic Edsger W. Dijkstra Formal methods Separation logic Substructural logic Concurrent computing Modal logic Semantics Parallel computing
74	Barriers in Concurrent Separation Logic Aquinas Hobor and Cristian Gherghina National University of Singapore Abstract. We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-01-05 06:34:49
75	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:30 Logic in computer science Program analysis Substructural logic Concurrent computing Aliasing Compiler construction Separation logic Alias Thread Assertion OCaml Type system
76	VisualizeSLE: A Visual Editor for Separation Logic Entailments Aquinas Hobor Soe Lin Myat Bimlesh Wadhwa Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-11-19 06:05:52
77	Automated Verification of Shape, Size and Bag Properties via User-Defined Predicates in Separation Logic ∗ Wei-Ngan China , Cristina Davida , Huu Hai Nguyena , and Shengchao Qinb† a Department of Computer Science, N Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-07-17 21:22:36
78	Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-04-10 17:09:30

UPDATE